421. Programming with constraints: an introduction
پدیدآورنده : Marriott, Kim
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Logic programming,، Constraint programming )Computer science(
رده :
QA
76
.
63
.
M37
1998
422. Programming with higher-order logic /
پدیدآورنده : Dale Miller, Gopalan Nadathur.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic programming.,Prolog (Computer program language)
رده :
QA76
.
63
.
M554
2012
423. Programs from decision tabels
پدیدآورنده : / Edward Humby
کتابخانه: Central Library and Archive Center of shahid Beheshti University (Tehran)
موضوع : Electronic digital computers - Programming,Decision logic tables
رده :
001
.
6423
H919p
424. Programs from decision tables
پدیدآورنده : / E. Humby
کتابخانه: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
موضوع : Electronic digital computers - Programming,Decision logic tables
رده :
QA76
.
6
.
H85
425. Programs from decision tables
پدیدآورنده : Humby, E.)Edward(
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : ، Computer programming,، Decision logic tables
رده :
QA
76
.
6
.
H85
1973
426. Prolog++ : the power of object-oriented and logic programming
پدیدآورنده : Moss, Christopher D. S.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Prolog++ )Computer program language(,، Object-oriented programming )Computer science(,، Logic programming
رده :
QA
76
.
73
.
P2
.
M69
1994
427. Proof and computation
پدیدآورنده : edited by Helmut Schwichtenberg.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Logic programming -- Congresses.,Logic, Symbolic and mathematical -- Congresses.,Programmation logique -- Congrès.
رده :
QA76
.
63
E358
1995
428. Proof and computation
پدیدآورنده : edited by Helmut Schwichtenberg
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic programming,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
63
.
P74
429. Reasoning with logic programming
پدیدآورنده : Alferes, Jose Julio
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Logic programming,، Reasoning
رده :
QA
76
.
L28
Vol
.
1111
430. Recent advances in constraints : Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2003, Budapest, Hungary, June 30 - July 2, 2003 : selected papers
پدیدآورنده : Krzysztof R. Apt...]et al.[ )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Constraint programming )Computer science(,Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
3010
431. Recent advances in constraints : Joint ERCIM/CoLogNet International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004 : revised selected and invited papers
پدیدآورنده : Boi Faltings... ]et al.[ )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Logic programming,Congresses ، Constraint programming )Computer science(
رده :
QA
76
.
L28
Vol
.
3419
432. Recent advances in constraints : joint ERCIM/CologNet International Workshop on Constraint Solving and Constraint Logic Programming, Cork, Ireland, June 19-21, 2002 : selected papers
پدیدآورنده : Barry O'Sullivan )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Constraint programming )Computer science(,Congresses ، Logic programming
رده :
QA
76
.
L28
Vol
.
2627
433. Recursive programing techniques
پدیدآورنده : / William H. Burge
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Recursive programming.,Combinatory logic.
رده :
QA76
.
6
.
B87
1975
434. Recursive programming techniques
پدیدآورنده : Burge , William H
موضوع : ، Recursive programming,، Cimbinatroy logic
۴ نسخه از این کتاب در ۴ کتابخانه موجود است.
435. Recursive programming techniques
پدیدآورنده : / William H. Burge
کتابخانه: Central Library and Archive Center of shahid Beheshti University (Tehran)
موضوع : Recursive programming,Combinatory logic
رده :
001
.
642
B945r
436. Recursive programming techniques
پدیدآورنده : Burge, William H
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Recursive programming,، Combinatory logic
رده :
QA
76
.
6
.
B87
437. Solving higher-order equations: from logic to programming
پدیدآورنده : Prehofer, Christian
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Computer logic,، Declarative programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
L63
.
P74
1997
438. Specification and verification of declarative open interaction models :
پدیدآورنده : Marco Montali
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computational intelligence,Computer logic,Declarative programming languages,Information technology,Management information systems,Business
رده :
QA76
.
9
.
L63
M66
2010
439. Temporal logic : first International Conference, ICTL'94, Bonn, Germany, July 11-14, 1994 : proceedings
پدیدآورنده : Dov M. Gabbay, Hans Jurgen Ohlbach )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Computer programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
827
440. Temporal logic : first international conference, ICTL '94, Bonn, Germany, July 11-14, 1994 : proceedings
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Electronic digital computers-- Programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
T4414
1994
